An instance of the MIKADO migration model

In this document, we briefly describe the main contribution to the deliverable on experimenting with the implementation of most of the calculi considered in the project. First, we describe how two well known calculi for mobile processes KLAIM and Dπ have been implemented on the top of IMC. We then describe the implementation of the MiKO programming language, an instance of the parametric calculus introduced in the WP1 with the TyCO calculus as the content of the membrane itself. After this, we outline the description of the implementation of the abstract machine for an instance of the Kell Calculus that dedicates particular attention to the proof of its correctness. Our presentation ends with a discussion of the problem of implementing security membranes on the top of an execution platform

MiKO---Mikado Koncurrent Objects

The motivation for the Mikado migration model is to provide programming constructs for controlling code mobility that are as independent as possible from the particular programming language used to program the code. The main idea is to regard a domain (or site, or locality), where mobile code may enter or exit, as a membrane enclosing running processes, and offering services that have to be called for entering or exiting the domain. MiKO---Mikado Koncurrent Objects is a particular instance of this model, where the membrane is explicitly split in two parts: the methods defining the interface, and a process part describing the data for, and the behavior of, the interface. The talk presents the syntax, operational semantics, and type system of MiKO, together with an example. It concludes by briefly mentioning the implementation of a language based on the calculus

Revisión teórica sobre la enseñanza y aprendizaje de las matemáticas

El presente es un artículo de revisión que tiene como objetivo conceptualizar la línea de investigación en enseñanza y aprendizaje de las matemáticas e identificar sus ejes problemáticos. La metodología utilizada fue teórico-descriptiva de tipo documental. Como resultado se definió que la enseñanza y aprendizaje de las matemáticas son un proceso intencionado de apropiación del conocimiento matemático, que se inicia con la reflexión, comprensión, construcción y evaluación de las acciones didácticas que propician la adquisición y el desarrollo de habilidades y actitudes para un adecuado desempeño matemático en la sociedad. De este concepto se identifican como ejes problemáticos las dificultades, las estrategias, la evaluación y la formación integral desde la enseñanza y aprendizaje de las matemáticas

Searching without information:a quantitative analysis of Caenorhabditis elegans locomotion

Tese de doutoramento, Biologia (Ecologia), Universidade de Lisboa, Faculdade de Ciências, 2012Animal movement accounts for an important and highly complex process that affects many ecological systems at different temporal and spatial scales. When sources of food are not accessible in the surroundings, animals move through the environment to increase their chances of locating them and by adjusting the balance between local and non-local searches. Despite of being such an important ecological process, the behavioral mechanisms of search are still not well understood. The focus of this thesis is to disentangle the behavioral mechanisms responsible for individual locomotion of Caenorhabditis elegans, while searching in a bare, homogeneous experimental setting. Considering the nature of behavioral intermittency, we use sound statistical tests and methods to characterize the spatiotemporal search patterns. Our results show that, in the absence of environmental factors, C. elegans search behavior is influenced both by past experiences (informed behavior) and by a stochastic basal (non-informed) motor output. Informed movement, which is related with previous experiences and current memory state, originates at the beginning of the experiment, a local search behavior distinguished by an intensive exploration with high number of reorientations and short crawls. The non-informed motor output is characterized by a constant temporal and spatial pattern (over the whole experiment) of reorientations and long crawls. This behavior could be thought as of a locomotion template for the organism since it is neither controlled by external cues nor by specific internal state metabolisms. The existence of these two search modes suggest that the generated movement patterns are influenced by an interplay between internal and external motor outputs that is dependent on the information gathered from the environment. These findings contribute greatly for our understanding of the behavioral mechanisms responsible for the generation of complex movement patterns.Movimento animal é um processo muito importante e altamente complexo que afecta vários sistemas ecológicos a diferentes escalas temporais e espaciais . Quando a fonte de alimento não está acessível, os animais exploram o ambiente tentando aumentar as suas chances de a localizar, e tendo que balancear, da melhor forma, a execução entre uma busca local e uma busca não-local do ambiente. Apesar do processo de busca ser um processo ecológico muito importante, ainda muito pouco se sabe sobre os seus mecanismos biológicos. O objectivo desta tese é desvendar os mecanismos biológicos responsáveis pela locomoção do nemátodo C. elegans enquanto se move num ambiente experimental homogéneo sem fonte de alimento. Considerando a natureza do comportamento intermitente, usámos testes e métodos estatísticos para caracterizar os padrões de busca espacio-temporais. Os nossos resultados mostram que, na ausência de factores ambientais, o comportamento de busca do C. elegans é influenciado por experiências passadas (comportamento com informação) e por um comportamento motor basal estocástico (comportamento sem informação). O comportamento com informação, que está relacionado com experiências passadas e com o presente estado de memória do animal, origina no início da experiência, um padrão de busca local caracterizado por uma exploração intensiva com grande número de reorientações e com movimentos contínuos curtos. O comportamento sem informação é caracterizado por um padrão temporal e espacial constante (durante toda a experiência) de reorientações e de movimentos contínuos largos. Este comportamento pode ser visto como um modo de locomoção base para o organismo uma vez que não é controlado nem por informação externa nem por um estado interno metabólico específico. A existência destes dois modos de busca sugere que os padrões de movimento gerados são influenciados pela interação entre os movimentos motores internos e externos, que é dependente da informação ambiental adquirida. Estes resultados contribuem para uma melhor compreensão dos mecanismos comportamentais responsáveis pela geração de padrões de movimento complexos.Fundação para a Ciência e a Tecnologia (FCT, SFRH/BD/32960/2006); Siemens S.A.; Santa Fé Institute e Spanish National Research Council (CSIC)

Creación de un cd interactivo, para el desarrollo de las habilidades cognitivas, en el área de entorno social en los estudiantes de tercer grado de educación básica de la escuela fiscal n° 6 Isabel Icaza de Estrada, cantón playas, provincia del guayas, año lectivo 2014 – 2015.

El trabajo investigativo se fundamenta en la creación de un CD interactivo a través de multimedia, que permite mezclar diferentes Tics, impactando varios sentidos a la vez, para lograr un efecto mayor en la comprensión del mensaje. Esta forma de establecer la información y fomentar el conocimiento es muy amplia, por eso este proyecto se ha focalizado en la asignatura de Entorno Social; para estudiantes del Tercer Grado de Educación Básica de la Escuela Fiscal Nº 6 “Isabel Icaza de Estrada”. Para la obtención de la información necesaria para la estructuración del presente trabajo investigativo, se utilizaron instrumentos estadísticos como encuestas y entrevistas a los diferentes miembros de la comunidad educativa. Las herramientas tecnológicas, permiten crear CD interactivos, concatenar contenidos digitales e interdisciplinares, que son de gran utilidad que tienen características de transmisión de conocimientos en forma activa, desarrollando destrezas y habilidades en los estudiantes. La aplicación de un software interactivo favorece a la educación, incrementando las habilidades del pensamiento crítico. Además inculcarán una actitud de predisposición al trabajo en el aula, tendrán una participación activa desarrollando así su capacidad de expresión, aportando con sus conocimientos e interpretando la información del medio o de un texto, respondiendo las preguntas respectivas; esto permite desarrollar los valores del respeto y velar por la conservación de los recursos naturales, creando una ciudadanía responsable que permita la perpetuidad de las especies y recursos

La hipótesis de Riemann en campos de funciones

La Hipótesis de Riemann en Campos de Funciones es el análogo, ya resuelto, en campos de funciones de la famosa Hipótesis de Riemann. La definición de la función zeta ζK(s) de un campo de funciones K proviene de la extensión natural de la función usual de Riemann: ζ(s) = X∞ n=1 1 ns . Se sabe que ζ(s) tiene una extensión meromorfa al plano complejo, con un único polo en s = 1, el cual es simple con residuo 1. Más aún, ζ(s) tiene ceros en s = −2n, n ∈ N y éstos son llamados los ceros triviales de ζ(s). Por otro lado, ζ(s) no tiene ceros diferentes a los triviales en C\{s | 0 ≤ Re s ≤ 1}. La Hipótesis de Riemann establece que los ceros de ζ(s), aparte de los triviales, están en la recta Re s = 1 2 . La Hipótesis de Riemann sigue siendo un problema abierto. Sin embargo, para campos de funciones congruentes (es decir, cuyo campo de constantes es finito) la respuesta sí se conoce y es positiva. Esto fue demostrado por André Weil en 1941. Teorema (Hipótesis de Riemann en Campos de Funciones). Sea K/k un campo de funciones congruente. Entonces, los ceros de la función zeta ζK(s) están en la línea Re s = 1 2 . Como consecuencia tenemos que si K/k es un campo de funciones congruente, donde |k| = q, N1 el número de divisores primos de grado 1 en K y g el género de K, entonces |N1 − (q + 1)| ≤ 2g √ q. En el trabajo de tesis se presentan una demostración, basada en la de Enrico Bombieri, de la Hipótesis de Riemann en Campos de Funciones y algunas aplicaciones de este resultado, entre ellas: si K es un campo de funciones congruente de género 0, entonces K es un campo de funciones racionales. También, se presentan todos los posibles campos de funciones congruentes K con número de clases 1 y género mayor que 0

Qualidade de vida e optimismo nos doentes de esclerose múltipla e sua relação com a incapacidade adquirida

O objectivo do presente trabalho é avaliar a qualidade de vida e o optimismo em doentes de esclerose múltipla bem como, explorar a relação destas duas componentes com diferentes níveis de incapacidade. Participaram nesta investigação 44 doentes de esclerose múltipla, de ambos os sexos, com idades compreendidas entre os 14 e os 62 anos, que frequentam o Hospital de Dia/Serviço de Neurologia, do Hospital de Santa Maria em Lisboa. Como instrumentos utilizou-se o Questionário de Dados Pessoais; o Functional Assessment of Multiple Sclerosis (versão Português de Portugal, 2002); a Escala de Orientação para a Vida (versão em Português de Portugal, 2006) e a Expandid Disability Status Scale (versão original, 1985). Os resultados demonstram que os doentes de esclerose múltipla são na sua maioria doentes do género feminino, com uma idade média de 37 anos, que vivem maritalmente, possuem o ensino superior e trabalham. As variáveis qualidade de vida e optimismo apresentam uma forte correlação positiva (p= 0,007). A relação entre a variável incapacidade e qualidade de vida não apresenta diferenças estatisticamente significativas (p= 0,079), o mesmo ocorre para a variável optimismo (p= 0,575). Concluímos que os sujeitos que apresentam um nível de optimismo mais elevado têm igualmente uma melhor qualidade de vida. Concluímos também, que o nível de incapacidadeABSTRACT: This investigation objective is to evaluate the quality of life and optimism among patients with multiple sclerosis, as well as to explore the relationship of these two components with different levels of incapacity. A sample of 44 multiple sclerosis patients of both sexes, aged between 14 and 62 years old, who attend Day’s Hospital/Neurology Department, of Santa Maria’s Hospital in Lisbon, have participated in this study. The measurement tools used were the Personal Data Questionnaire; the Functional Assessment of Multiple Sclerosis (version in Portuguese of Portugal, 2002); The Life Oriented Test-Revised (version in Portuguese of Portugal, 2006) and the Expandid Disability Status Scale (original version, 1985). The results show that the majority of multiple sclerosis patients are women, with an average age of 37 years old, who live with a companion, have a higher level of education, and work. The variables quality of life and optimism present a strong and positive correlation (p = 0,007). The relationship between the variable incapacity and the variable quality of life do not present a statistically significant difference (p = 0,079), the same happens with the variable optimism (p = 0,575). We conclude that the patients, who present a higher level of optimism, have also a higher level of quality of life. We also conclude that the level of incapacity presented by the patient does not influence the quality of life or the optimism

An instance of the MIKADO migration model

In this document, we briefly describe the main contribution to the deliverable on experimenting with the implementation of most of the calculi considered in the project. First, we describe how two well known calculi for mobile processes KLAIM and Dπ have been implemented on the top of IMC. We then describe the implementation of the MiKO programming language, an instance of the parametric calculus introduced in the WP1 with the TyCO calculus as the content of the membrane itself. After this, we outline the description of the implementation of the abstract machine for an instance of the Kell Calculus that dedicates particular attention to the proof of its correctness. Our presentation ends with a discussion of the problem of implementing security membranes on the top of an execution platform

Práticas de literacia familiar, competências linguísticas e desempenho em leitura no primeiro ano de escolaridade

Pretendemos com este estudo não só analisar de que forma as práticas de literacia familiar e determinadas variáveis linguísticas podem estar relacionadas com o desempenho em leitura como também perceber quais as práticas e/ou variáveis que melhor predizem a sua aprendizagem. Participaram neste estudo 74 crianças a frequentar o 1º ano do Ensino Básico de várias escolas da região de Lisboa. Os dados foram recolhidos no final do 1º período (consciência fonológica, conhecimento das letras, leitura de palavras e Questionário de Práticas de Literacia Familiar) e no final do 3º período (leitura de palavras). Foram analisadas as diferentes práticas de literacia familiar – treino, rotinas e entretenimento – e a sua relação com os resultados de leitura no final do ano. A mesma análise foi realizada para as variáveis linguísticas. Posteriormente, foi realizada uma análise de regressão, tendo como variável dependente a leitura de palavras final e como variáveis independentes as variáveis linguísticas e as práticas de literacia familiar. Os resultados obtidos mostram que as práticas de literacia familiar estão moderadamente relacionadas com a leitura e fortemente relacionadas com as variáveis linguísticas. Os melhores preditores de leitura no final do ano são o conhecimento das letras e a leitura de palavras inicial